derivative of arctan(2^x)